DEVS for AUTOSAR platform modelling

نویسندگان

  • Joachim Denil
  • Hans Vangheluwe
  • Pieter Ramaekers
  • Paul De Meulenaere
  • Serge Demeyer
چکیده

AUTOSAR (AUTomotive Open System ARchitecture) is an open and standardized automotive software architecture, jointly developed by automobile manufacturers, suppliers and tool developers. Its design is a direct consequence of the increasingly important role software plays in vehicles. As design choices during the software deployment phase may have a large impact on the real-time properties of the system, designers need a method to explore various trade-offs. In this paper we evaluate the appropriateness of DEVS, the DiscreteEvent system Specification, for modelling and subsequent performance evaluation of AUTOSAR-based systems. We demonstrate and validate our work by means of a power window and ABS case study.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Integrating a neutral action language in a DEVS modelling environment

Visual environments for the modelling and simulation of complex, software-intensive systems are increasingly popular. While visual languages have many advantages, they may not be appropriate to render all details of a Discrete EVent system Specification (DEVS) model. Textual may be more appropriate, both to completely describe all details of a DEVS model (i.e., the content of transition and out...

متن کامل

Implementation of Devs Based Distributed Network Simulator for Large-scale Networks

In this study, a tool was developed for design and implementation of a new discrete event based distributed simulation for large-scale networks. By using DEVS as a modelling approach, client / server based, scalable, platform-independent, flexible new network modelling and simulation tool called ‘D-DEVSNET’ was designed and performance analysis were conducted. In order to show the performance o...

متن کامل

JDEVS: an implementation of a DEVS based formal framework for environmental modelling

The development of models using multiple modelling paradigms is necessary to formulate and study current problems in environmental science. To simplify the coupling of those models, a formal basis for a high-level specification of such models must be set-up. In this paper we propose a Discrete EVent System specification (DEVS) based modelling framework as a formal basis in environmental modelli...

متن کامل

A Software Certification of Embedded Vehicle Platform Using Integrated Test

This paper discusses various tests of the newest development tool for AUTOSAR based embedded platform. The growing number of electrics/electronics software in vehicle systems makes more and more necessary the increasing demands. For example, it needs the essential requirements such as ensuring reliability, low production cost, coping with limited resources, and so on. Recently, there have been ...

متن کامل

DEVS Framework for Modelling, Simulation, Analysis, and Design of Hybrid Systems

We make the case that Discrete Event System Speci cation (DEVS) is a universal formalism for discrete event dynamical systems (DEDS). DEVS o ers an expressive framework for modelling, design, analysis and simulation of autonomous and hybrid systems. We review some known features of DEVS and its extensions. We then focus on the use of DEVS to formulate and synthesize supervisory level controllers.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2011